281. Sweet Reason
پدیدآورنده : / James M. Henle, Jay L. Garfield, Thomas Tymoczko
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Modern, 20th century,PHILOSOPHY / Logic, bisacsh
رده :
BC38
.
T86
2012
282. Temporal Logic of Programs
پدیدآورنده : by Fred Kröger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.
رده :
QA76
.
9
.
L63
B947
1987
283. The Cambridge history of seventeenth-century philosophy
پدیدآورنده : edited by Daniel Garber, Michael Ayers, with the assistance of Roger Ariew and Alan Gabbey
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Philosophy, Modern - 71th century
رده :
B801
.
C35
1998
284. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
285. The Oxford handbook of thinking and reasoning /
پدیدآورنده : edited by Keith J. Holyoak, Robert G. Morrison.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Reasoning (Psychology),Thought and thinking.,Thinking.
286. < The Routledge = Routledge > Companion to Islamic Philosophy
پدیدآورنده : \ Edited By Richard C. Taylor , Luis Xavier Lopez - Farjeat
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : فلسفه اسلامي , Islamic philosophy
رده :
BBR
9
.
R69
287. The Routledge companion to Islamic philosophy /
پدیدآورنده : edited by Richard C. Taylor and Luis Xavier López-Farjeat
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Islamic philosophy
رده :
B741
.
R68
2016
288. The aesthetics of argument /
پدیدآورنده : Martin Warner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Imagination.,Logic.,Reasoning.,Argumentation,Imagination.,Logic.,Logic.,Philosophy & Religion.,Philosophy.,Reasoning.
رده :
BC177
.
W37
2016eb
289. The emergence of meaning /
پدیدآورنده : Stephen Crain, Macquarie University, Sydney
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Language and logic.,Language and logic.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- General.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Semantics.
رده :
P39
.
C73
2012eb
290. The idea of justice and the problem of argument.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Judgment (Ethics),Justice.,Judgment (Ethics),Justice.
رده :
BJ1533
.
J9
P443
1963
291. The little typer /
پدیدآورنده : Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
رده :
QA76
.
63
.
F75
2018
292. The story of reason in Islam /
پدیدآورنده : Sari Nusseibeh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Faith and reason-- Islam-- History.,Islamic philosophy-- History.
رده :
BP190
.
5
.
R4
N87
2017
293. Theory and formal methods 1993 :
پدیدآورنده : Geoffrey Burn ... (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computerkonferenz.,Formale Spezifikationstechnik.,Praxis.
294. Theory of Graded Consequence :
پدیدآورنده : Mihir Kumar Chakraborty, Soma Dutta.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Uncertainty (Information theory),Logic, Symbolic and mathematical.,Uncertainty (Information theory)
رده :
QA9
.
C45
2019
295. Thinking-driven testing :
پدیدآورنده : Adam Roman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
رده :
QA76
.
758
296. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
297. Towards a model of strategic management incorporating fuzzy logic
پدیدآورنده : Chao-Chin, Kan
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business
298. Trends in Artificial Intelligence :
پدیدآورنده : edited by Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1991
299. Truth, Proof and Infinity A Theory of Constructive Reasoning.
پدیدآورنده : Fletcher, P.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
300. Understanding arguments :
پدیدآورنده : Walter Sinnot-Armstrong, Robert J. Fogelin
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic,Reasoning
رده :
BC50
.
F63
2015
